-
1 formal logic
Англо-русский словарь промышленной и научной лексики > formal logic
-
2 formal
adj.1 formal.ser novios formales to be engaged2 well-behaved, good (que se porta bien).3 reliable (responsable, fiable).4 serious, sober (serio).5 firm, official.* * *► adjetivo1 (con los requisitos necesarios) formal2 (serio) serious, serious-minded3 (cumplidor) reliable, dependable4 (cortés) polite\sed formales behave yourselves* * *adj.1) formal2) serious3) reliable* * *ADJ1) [persona] (=de fiar) reliable, dependable; (=responsable) responsible2) [invitación, protesta] formal; [estilo, lenguaje] formal3) (=oficial) [petición, propuesta, compromiso] official4) (Fil) formal5) (=estructural) formal6) And (=afable) affable, pleasant* * *1) ( cumplidor) reliable, dependable; ( responsable) responsible2)a) < error> formalb) <promesa/oferta> firm; <invitación/compromiso> formal, official; < acusación> formalc) <recepción/cena> formal* * *= dependable, formal, formalised [formalized, -USA], business-like, pro forma [proforma], staid, ceremonious.Ex. If the supplier is a dealer, then ensure that this is a reputable and dependable dealer who can provide help with installation, maintenance and support.Ex. Obviously a more formal, and a more summarised profile is required in most indexing systems.Ex. Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.Ex. It was generally felt that US libraries are organised on more business-like lines than those in the Netherlands.Ex. Later, she realized that the interview was a pro forma procedure = Posteriormente, se dio cuenta de que la entrevista era un trámite meramente formal.Ex. As many of the responding librarians pointed out, ' staid, adult-looking pages are not attractive to a teenage audience' = Como muchos de los bibliotecarios encuestados indicaron las "páginas con aspecto serio como si estuviesen dirigidas a adultos no resultan atractivas a un público joven".Ex. From the time of the Celtic occupation of Ireland in 500 BC, music played by harpers has been associated with ancient warfare and with banquets and ceremonious occasions.----* análisis formal de documentos = markup [mark-up].* corrección formal = procedural justice.* correcto y formal = prim and proper.* formales, los = serious, the.* lenguaje para el análisis formal de documentos web = markup language.* relación formal = formal relation.* ser muy formal = stand on + ceremony.* sistema para el análisis formal de documentos = markup code.* sistema para el análisis formal de documentos web = markup system.* titulación formal = formal degree programme.* * *1) ( cumplidor) reliable, dependable; ( responsable) responsible2)a) < error> formalb) <promesa/oferta> firm; <invitación/compromiso> formal, official; < acusación> formalc) <recepción/cena> formal* * *= dependable, formal, formalised [formalized, -USA], business-like, pro forma [proforma], staid, ceremonious.Ex: If the supplier is a dealer, then ensure that this is a reputable and dependable dealer who can provide help with installation, maintenance and support.
Ex: Obviously a more formal, and a more summarised profile is required in most indexing systems.Ex: Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.Ex: It was generally felt that US libraries are organised on more business-like lines than those in the Netherlands.Ex: Later, she realized that the interview was a pro forma procedure = Posteriormente, se dio cuenta de que la entrevista era un trámite meramente formal.Ex: As many of the responding librarians pointed out, ' staid, adult-looking pages are not attractive to a teenage audience' = Como muchos de los bibliotecarios encuestados indicaron las "páginas con aspecto serio como si estuviesen dirigidas a adultos no resultan atractivas a un público joven".Ex: From the time of the Celtic occupation of Ireland in 500 BC, music played by harpers has been associated with ancient warfare and with banquets and ceremonious occasions.* análisis formal de documentos = markup [mark-up].* corrección formal = procedural justice.* correcto y formal = prim and proper.* formales, los = serious, the.* lenguaje para el análisis formal de documentos web = markup language.* relación formal = formal relation.* ser muy formal = stand on + ceremony.* sistema para el análisis formal de documentos = markup code.* sistema para el análisis formal de documentos web = markup system.* titulación formal = formal degree programme.* * *A (cumplidor) reliable, dependable; (responsable) responsiblea ver si eres un poco más formal la próxima vez try and be a bit more responsible next time¡sé formalito! behave yourself!tiene sólo 21 años pero es muy formal he's only 21 but he's very responsible o serious-mindedB1 ‹error› formal2 ‹promesa› firm; ‹invitación/compromiso› formal, official; ‹acusación› formalaún no he recibido una oferta formal I haven't had a definite o firm offer yet3 ‹recepción/cena› formal* * *
formal adjetivo
1 ( en general) formal;
‹promesa/oferta› firm
2 ‹ persona› ( cumplidora) reliable, dependable;
( responsable) responsible
formal adjetivo
1 formal
2 (serio, educado) serious, serious-minded
(cumplidor) reliable, dependable
' formal' also found in these entries:
Spanish:
aunque
- bastante
- ceremoniosa
- ceremonioso
- cita
- denuncia
- el
- etiqueta
- formalismo
- mayoría
- participación
- permitirse
- baño
- cena
- conferencia
- escolarizar
- gala
- novio
- plática
- querer
- traje
- vestir
English:
absent
- accustom
- afford
- audience
- awaken
- businesslike
- dear
- dependable
- deserve
- dinner
- enjoy
- far
- fear
- formal
- intend
- luncheon
- mention
- possess
- propose
- representation
- responsible
- serious
- shall
- should
- sober
- sober-minded
- solid
- speech
- staid
- unreliable
- well-behaved
- whom
- affair
- business
- evening
- formality
- grand
- grievance
- prim
- solemn
- steady
- you
- your
- yours
- yourself
- yourselves
* * *formal adj1. [de la forma] formal;en su aspecto formal la novela es excelente the formal aspects of the novel are excellent2. [legal] formal;un requisito formal an official requirement3. [que se porta bien] well-behaved, good4. [responsable, fiable] reliable;son muy poco formales they're very unreliable5. [serio] serious, sober;el lenguaje formal formal language;ser novios formales to be engaged* * *adj1 formal2 niño well-behaved3 ( responsable) responsible* * *formal adj1) : formal2) : serious, dignified3) : dependable, reliable* * *formal adj1. (oficial) formal2. (persona de fiar) responsible / reliable -
3 formal
io.1. formal; logika \formala formal logic2. ( serioa) serious, serious-minded3. ( p.)a. ( fidagarria) reliable, dependable; etxean morroi eduki dugu mutil \formal askia at home we have had quite a dependable boy as a servantb. businesslikec. ( egonkor) steadyd. ( umea) well-behaved adb. mutiko horiek \formal dira ibiltzen those little boys behave themselve -
4 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
5 lógica formal
• formal logic -
6 lógica formal
f.formal logic. -
7 Propositional Logic
The specificity of propositional logic is not that it is a verbal logic, but rather a logic of all possible thought combinations. (Inhelder & Piaget, 1958, p. 222)Historical dictionary of quotations in cognitive science > Propositional Logic
-
8 формальная логика
-
9 формальная логика
-
10 genel mantık
formal logic -
11 logique formelle
-
12 формальная логика
Русско-английский словарь по электронике > формальная логика
-
13 формальная логика
Русско-английский словарь по радиоэлектронике > формальная логика
-
14 формальная логика
Русско-английский словарь по вычислительной технике и программированию > формальная логика
-
15 формална логика
formal logicБългарски-Angleščina политехнически речник > формална логика
-
16 formalna logika
• formal logic -
17 logika formalna
• formal logic -
18 logistyka
• formal logic -
19 формальная логика
Русско-английский математический словарь > формальная логика
-
20 формальная логика
Русско-английский словарь по общей лексике > формальная логика
См. также в других словарях:
formal logic — n. the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions … English World dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
formal logic — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f … Automatikos terminų žodynas
formal logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (Freq. 1) • Syn: ↑symbolic logic, ↑mathematical logic • Hypernyms: ↑logic, ↑logical system,… … Useful english dictionary
formal logic — noun a) Mathematical logic. b) A particular logical calculus … Wiktionary
formal logic — /fɔməl ˈlɒdʒɪk/ (say fawmuhl lojik) noun the branch of logic concerned exclusively with the principles of deductive reasoning and in consequence with the forms (as distinct from the content) of propositions …
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… … Wikipedia
Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia